Static analysis for languages with exception handling
نویسندگان
چکیده
This paper describes static analysis for the languages with exception handling. A low level intermediate representation, which supports exceptions, is proposed in this study. Data flow analyses unreachable code detection were described. А general scheme of that takes related paths into account was given. The algorithms implemented as a part tool Svace C++, Java and Kotlin languages.
منابع مشابه
Static Analysis of Exception Handling in Ada
Since the signature of an Ada subprogram does not specify the set of exceptions that the subprogram can propagate, computing the set of exceptions that a subprogram may encounter is not a trivial task. This is a source of error in large Ada systems: for example, a subprogram may not be prepared to handle an exception propagated from another subprogram several layers lower in the call-tree. In a...
متن کاملExtending Functional Languages with High-Level Exception Handling
We extend functional languages with high-level exception handling. To be specific, we allow sequential-choice expressions of the form E0 ▽ E1 where E0, E1 are expressions. These expressions have the following intended semantics: sequentially choose the first successful Ei and evaluate Ei where i = 0 or 1. These expressions thus allow us to specify an expression E0 with the failure-handling (exc...
متن کاملAnalysis of Programs with Exception-Handling Constructs
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profiling, and static and dynamic slicing. To be applicable to programs in languages, such as Java and C++ however, these analysis techniques should, to the extent possible, account for the effects of exception occurrences and...
متن کاملException Handling for C++
This paper outlines a design for an exception handling mechanism for C++. It presents the reasoning behind the major design decisions and considers their implications for implementation alternatives. The mechanism is flexible, comparatively safe and easy to use, works in a mixed language execution environment, and can be implemented to run efficiently. Two implementation strategies are describe...
متن کاملExcept for Exception Handling ...
Exception handling in Ada has a number of well-known problems. It allows for the propagation of unhandled and anonymous exceptions, it is error-prone and it is inappropriate for some language features including tasking and tagged types. Ada programs with exceptions are difficult to understand, develop, modify or analyse, and the exception handling features can be misused in a number of ways. In...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Trudy Instituta sistemnogo programmirovaniâ
سال: 2022
ISSN: ['2079-8156', '2220-6426']
DOI: https://doi.org/10.15514/ispras-2022-34(6)-1